Global renaming operators in concrete process algebra

Gorenstein global dimensions for Hopf algebra actions

Let $H$ be a Hopf algebra and $A$ an $H$-bimodule algebra‎. ‎In this paper‎, ‎we investigate Gorenstein global dimensions for Hopf‎ ‎algebras and twisted smash product algebras $Astar H$‎. ‎Results from‎ ‎the literature are generalized‎. 

Probabilistic Process Algebra Probabilistic Process Algebra

Renaming Global Variables in C Mechanically Proved Correct

Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this article, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of p...

Belief in Process Algebra

In this paper we present a framework to model falsehood in a system. A falsehood or lie is an intended false positive announced by a principal with an objective to deceive other principals. An utterance of lie is said to be successful if other principals believe it. The framework introduced in this paper is essentially a combination of operational model and epistemic model allowing us to expres...

Resources in process algebra

The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends not only on delays due to process synchronization, but also on the availability of shared resources. Thus, ACSR employs resources as a basic primitive and it represents a r...